proof of other dimensions